Church thesis

Church thesis
тезис Чёрча (о вычислимости по Тьюрингу)

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "Church thesis" в других словарях:

  • Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… …   Wikipedia

  • Church News — Type Weekly newspaper Format Tabloid Owner Deseret News Publishing Company (Deseret Management Corporation) Editor …   Wikipedia

  • Church (surname) — Church is an English surname. Notable people with the surname include: Albert T. Church (born 1947), Vice Admiral in the United States Navy Alonzo Church (1903–1995), logician, famous for the Church Turing thesis and lambda calculus Captain… …   Wikipedia

  • Church of St John the Baptist, Midsomer Norton — Church of St John the Baptist Location: Midsomer Norton, Somerset, England Coordinates …   Wikipedia

  • CHURCH (A.) — CHURCH ALONZO (1903 ) Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né à Washington. Professeur de mathématiques à l’université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale «le… …   Encyclopédie Universelle

  • Church of the Apostles — can refer to: Movements The early church of the apostles. Buildings the Upper Room of Acts 1:13, the original Christian meeting place of the 1st century Apostles, possibly under the Cenacle of Jerusalem. Church of Zion, Jerusalem, a putative… …   Wikipedia

  • Church's thesis (constructive mathematics) — In constructive mathematics, Church s thesis is the mathematical assertion that all total functions are recursive. It gets its name after the informal Church–Turing thesis, which states that every algorithm is in fact a recursive function, but… …   Wikipedia

  • Church of Zion, Jerusalem — The Church of Zion, Jerusalem, also known as the Church of the Apostles on Mount Zion, is the thesis of a presumed distinct Jewish Christian congregation continuing at Mount Zion in Jerusalem in the 2nd 5th Century, when it was the Roman colony… …   Wikipedia

  • Church, Alonzo — born June 14, 1903, Washington, D.C., U.S. died Aug. 11, 1995, Hudson, Ohio U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations… …   Universalium

  • Church of the East — For other uses, see Church of the East (disambiguation). Nestorian Church redirects here. For other uses, see Nestorian (disambiguation). Nestorian priests in a procession on Palm Sunday, in a 7th or 8th century wall painting from a Nestorian… …   Wikipedia

  • Church encoding — In mathematics, Church encoding is a means of embedding data and operators into the lambda calculus, the most familiar form being the Church numerals, a representation of the natural numbers using lambda notation. The method is named for Alonzo… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»